Johan Booij Adolph de Bruijn overlijden